package org.cos.verification.automata;

import java.util.Vector;

public class Set extends Vector {
	public Set(){
		super();
	}
	public void add(Object obj){
		if (! this.contains(obj) )
			this.addElement(obj);
	}
	public boolean has(Object obj){
		return this.contains(obj);
	}
	public  boolean remove(Object obj) {
		return this.removeElement(obj);
	}
}
